1. Mathematical theory of program correctness
Author: Bakker, J. W. de )Jacobus Willem(, 9391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
B335
2. Mathematical theory of program correctness
Author: Bakker, Jacobus Willem
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Correctness ، Computer programs,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
B335
3. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
